Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,†
نویسندگان
چکیده
منابع مشابه
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional reasoning for co-verification include: (1) the hardware/software semantic gaps, (2) lack of common property specification languages for hardware and software, and (3) lack of compositional reasoning rules that are applic...
متن کاملThesis Title: a Hardware/software System for Adaptive Beamforming Thesis Title: a Hardware/software System for Adaptive Beamforming a Hardware/software System for Adaptive Beamforming
Multi-computer platforms that incorporate FPGAs and other reconfigurable processors are emerging as powerful computing architectures capable of exploiting many levels of parallelism for a range of applications. The novelty of this technology, combined with the drastic differences between architectures, has resulted in a lack of tools for developing applications and maintaining portability acros...
متن کاملA Compositional Framework for Hardware/Software Co-Design
We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of ...
متن کاملa proposed model for measuring hardware and software quality of banking services in banking industry
services require high involvement of consumer in consumption process. when consumers experience a service, their evaluation of service quality will change. the propose of current study is to provide a conceptual model for measuring hardware and software quality of banking services in the context of iran’s banking industry. current study is descriptive-applicable one in which has been done by a ...
متن کاملA methodology for hardware verification using compositional model checking
A methodology for system-level hardware veriication based on compositional model checking is described. This methodology relies on a simple set of proof techniques, and a domain speciic strategy for applying them. The goal of this strategy is to reduce the veriication of a large system to nite state subgoals that are tractable in both size and number. These subgoals are then discharged by model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 2020
ISSN: 0169-2968,1875-8681
DOI: 10.3233/fi-2020-1919